results for High-Level Synthesis